go/types.unifier.nify (method)
19 uses
go/types (current package)
unify.go#L144: return u.nify(x, y, mode, nil)
unify.go#L285: func (u *unifier) nify(x, y Type, mode unifyMode, p *ifacePair) (result bool) {
unify.go#L368: return u.nify(u.at(px), u.at(py), mode, p)
unify.go#L374: if u.nify(x, y, mode, p) {
unify.go#L522: if ym := ymap[xm.Id()]; ym == nil || !u.nify(xm.typ, ym.typ, exact, p) {
unify.go#L543: if ym, _ := obj.(*Func); ym == nil || !u.nify(xm.typ, ym.typ, exact, p) {
unify.go#L595: return (x.len < 0 || y.len < 0 || x.len == y.len) && u.nify(x.elem, y.elem, emode, p)
unify.go#L601: return u.nify(x.elem, y.elem, emode, p)
unify.go#L616: !u.nify(f.typ, g.typ, emode, p) {
unify.go#L627: return u.nify(x.base, y.base, emode, p)
unify.go#L638: if !u.nify(v.typ, w.typ, mode, p) {
unify.go#L655: u.nify(x.params, y.params, emode, p) &&
unify.go#L656: u.nify(x.results, y.results, emode, p)
unify.go#L713: if f.Id() != g.Id() || !u.nify(f.typ, g.typ, exact, q) {
unify.go#L724: return u.nify(x.key, y.key, emode, p) && u.nify(x.elem, y.elem, emode, p)
unify.go#L732: return (mode&exact == 0 || x.dir == y.dir) && u.nify(x.elem, y.elem, emode, p)
unify.go#L748: if !u.nify(xarg, yargs[i], mode, p) {
unify.go#L787: return u.nify(cx, yorig, assign, p)